\def\cprime{$'$}
\begin{thebibliography}{1}

\bibitem{Aczel}
Peter Aczel.
\newblock A general {C}hurch-{R}osser theorem.
\newblock {\em
  \url{http://www.ens-lyon.fr/LIP/REWRITING/MISC/AGeneralChurch-RosserTheorem.pdf}},
  1978.

\bibitem{FPT}
Marcelo Fiore, Gordon Plotkin, and Daniele Turi.
\newblock Abstract syntax and variable binding (extended abstract).
\newblock In {\em 14th {S}ymposium on {L}ogic in {C}omputer {S}cience
  ({T}rento, 1999)}, pages 193--202. IEEE Computer Soc., Los Alamitos, CA,
  1999.

\bibitem{HM2007}
Andr{\'e} Hirschowitz and Marco Maggesi.
\newblock Modules over monads and linearity.
\newblock In {\em Logic, language, information and computation}, volume 4576 of
  {\em Lecture Notes in Comput. Sci.}, pages 218--237. Springer, Berlin, 2007.

\bibitem{Moggi91}
Eugenio Moggi.
\newblock Notions of computation and monads.
\newblock {\em Inform. and Comput.}, 93(1):55--92, 1991.
\newblock Selections from the 1989 IEEE Symposium on Logic in Computer Science.

\end{thebibliography}